\#\{i$<$$j$$\mid$$f$ i ${\it eq}$ $x$\} $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\mathbb{B}$size($j$;(${\it eq}$($x$)) o $f$)